Fuzzy Zorn’s lemma with applications
نویسندگان
چکیده
Abstract We introduced the fuzzy axioms of choice, Zorn’s lemma and well-ordering principle, which are versions discussed relations among them. As an application lemma, we got following results: (1) Every proper ideal a ring was contained in maximal ideal. (2) nonzero (3) Introduced notion nilpotent elements R , proved that intersection all prime ideals commutative is union . (4) Proposed version Tychonoff Theorem by use Theorem.
منابع مشابه
A Sharper Local Lemma with Improved Applications
We give a new family of Lovász Local Lemmas (LLL), with applications. Shearer has given the most general condition under which the LLL holds, but the original condition of Lovász is simpler and more practical. Do we have to make a choice between practical and optimal? In this article we present a continuum of LLLs between the original and Shearer’s conditions. One of these, which we call Clique...
متن کاملZorn’s Lemma and Some Applications
Zorn’s lemma is a result in set theory that appears in proofs of some non-constructive existence theorems throughout mathematics. We will state Zorn’s lemma below and use it in later sections to prove some results in linear algebra, ring theory, and group theory. In an appendix, we will give an application to metric spaces. The statement of Zorn’s lemma is not intuitive, and some of the termino...
متن کاملHensel’s Lemma and Some Applications
The purpose of this note is to record Hensel’s Lemma and a few of its immediate applications for my Math 831 class. At the end of the 19th century Hensel introduced the notion of completion into a number theoretic context in order to bring to bear techniques of analysis on some purely algebraic problems in number theory. One of his most crucial discoveries (in modern terms) was that when a ring...
متن کاملRobust Farkas’ Lemma for Uncertain Linear Systems with Applications∗
We present a robust Farkas lemma, which provides a new generalization of the celebrated Farkas lemma for linear inequality systems to uncertain conical linear systems. We also characterize the robust Farkas lemma in terms of a generalized characteristic cone. As an application of the robust Farkas lemma we establish a characterization of uncertainty-immunized solutions of conical linear program...
متن کاملPaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications
We present PaSAT, a parallel implementation of a Davis-Putnam-style propositional satisfiability checker incorporating dynamic search space partitioning, intelligent backjumping, as well as lemma generation and exchange; the main focus of our implementation is on speeding up SAT-checking of propositional encodings of real-world combinatorial problems. We investigate and analyze the speed-ups ob...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Applied Mathematics-a Journal of Chinese Universities Series B
سال: 2021
ISSN: ['1005-1031', '1993-0445', '1000-4424']
DOI: https://doi.org/10.1007/s11766-021-4043-8